Nuprl Definition : for
2,24
postcript
pdf
For{
T
,
op
,
id
}
x
as
.
f
(
x
) == reduce(
op
;
id
;map(
x
:
T
.
f
(
x
);
as
))
latex
Definitions
reduce(
f
;
k
;
as
)
,
map(
f
;
as
)
,
x
:
T
.
b
(
x
)
FDL editor aliases
for
origin
as. f(x) == reduce(op;id;map(
x:T. f(x);as)) as. f(x) == reduce(op;id;map(x:T. f(x);as)) x:T. b(x)